-
1 universally axiomatizable subclass
Математика: универсально аксиоматизируемый подклассУниверсальный англо-русский словарь > universally axiomatizable subclass
-
2 universally axiomatizable subclass
English-Russian scientific dictionary > universally axiomatizable subclass
-
3 axiomatizable
аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно аксиоматизируемая система finitely axiomatizable theor ≈ конечно аксиоматизируемая теория finitely axiomatizable variety ≈ конечно аксиоматизируемое многообразие recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория universally axiomatizable class ≈ универсально аксиоматизируемый класс universally axiomatizable subclass ≈ универсально аксиоматизируемый подкласс - axiomatizable class - axiomatizable system - axiomatizable theor - axiomatizable typeБольшой англо-русский и русско-английский словарь > axiomatizable
-
4 subclass
См. также в других словарях:
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium